Building a Rules Engine from First Principles
towardsdatascience.comยท1d
โš–๏ธInference Rules
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
โš–๏ธInference Rules
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท16h
๐Ÿ”—Category Theory
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท21hยท
Discuss: Hacker News
๐ŸŒฑMinimal Languages
Flag this post
De Bruijn Numerals
text.marvinborner.deยท1dยท
Discuss: Hacker News
ฮปLambda Calculus
Flag this post
The case against boolean logic
abuseofnotation.github.ioยท1dยท
Discuss: Hacker News
โš–๏ธInference Rules
Flag this post
Reinventing Assertions
beust.comยท9hยท
Discuss: Hacker News
โš–๏ธInference Rules
Flag this post
รขโ‚ฌล“As of today, your name is Ahabรขโ‚ฌย: Generic Critique as Reparative Praxis in
gamestudies.orgยท4h
๐Ÿ indieweb
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
๐Ÿ”—Go Generics
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.orgยท16h
๐Ÿ“‹S-Expression
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท2hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
Magisterium
isaacbowen.comยท2hยท
Discuss: Hacker News
๐Ÿ’ซEffect Systems
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.orgยท5hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.comยท2hยท
Discuss: Hacker News
๐ŸŽญRacket Modules
Flag this post
PWC 345: I Went to the Mountains
dev.toยท1dยท
Discuss: DEV
๐ŸŒณTree Walking
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.comยท15hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
text as incantation
lnebres.bearblog.devยท1d
๐Ÿท๏ธSymbol Mangling
Flag this post
13 ChatGPT prompts I use alongside my Kindle to understand books better
makeuseof.comยท2h
โš–๏ธInference Rules
Flag this post
Three Meanings of Reference
sandordargo.comยท10hยท
Discuss: Hacker News, r/cpp
๐Ÿ“‡Symbol Tables
Flag this post